w{-}snds($w$; $l$; $t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$concat(map($\lambda$$t_{1}$.w{-}ml($w$; $l$; $t_{1}$);upto($t$)))